Lie groups and error analysis

A new approach to error analysis is introduced, based on the observation that many numerical procedures can be interpreted as computations of products in a suitable Lie group. The absence of an additive error law for such procedures is intimately related to the nonexistence of bi-invariant metrics on the relevant groups. Introducing the notion of an almost Inn(G) invariant metric (a left invariant, almost Inn(G) invariant metric can be constructed on any locally compact connected group having a countable basis for its identity neighborhoods), we show how error analysis can nevertheless be done for such procedures. We illustrate for what we call “scalar calculations without writing to memory”; the Horner algorithm for evaluation of a polynomial is such a calculation, and we give explicit error bounds for a floating point implementation of the Horner algorithm, and demonstrate their usefulness numerically. A left invariant, almost Inn(G) invariant metric on a group induces a metric on a homogeneous space of the group with useful properties for error analysis; treating R as a homogeneous space of the group of affine transformations of R we compute a new metric that unifies absolute and relative error. Mathematics Subject Classification Numbers. Primary: 65G99. Secondary: 22E99, 65G05.